منابع مشابه
Analysis of Bounds on Hybrid Vector Clocks
Hybrid vector clocks (HVC) implement vector clocks (VC) in a space-efficient manner by exploiting the availability of loosely-synchronized physical clocks at each node. In this paper, we develop a model for determining the bounds on the size of HVC. Our model uses four parameters, : uncertainty window, δ: minimum message delay, α: communication frequency and n: number of nodes in the system. We...
متن کاملBounds on vector leptoquarks.
We derive bounds on vector leptoquarks coupling to the first generation, using data from low energy experiments as well as from high energy accelerators. Similarly to the case of scalar leptoquarks, we find that the strongest indirect bounds arise from atomic parity violation and universality in leptonic π decays. These bounds are considerably stronger than the first direct bounds of HERA, rest...
متن کاملResetting Vector Clocks in Distributed Systems
This paper establishes the necessary and sufficient condition for a correct clock resetting such that the functionality of vector clocks can be preserved. A clock reset protocol is presented with its applicability and limitation discussed. Our result indicates that for some applications, the potential of clock overflow can be completely prevented by carefully choosing the condition for initiati...
متن کاملVector Clocks in Coq: An Experience Report
This report documents the process of implementing vector clocks in the Coq proof assistant for extraction and use in the distributed Dynamo-inspired data store, Riak. In this report, we focus on the technical challenges of using Core Erlang code extracted from the proof assistant in a production-grade Erlang application, as opposed to verification of the model itself.
متن کاملcontent analysis of l1 and l2 writing textbooks and the perception analysis of university professors on the influence of english writing expertise on the persian in an efl context
the importance of writing as a complex skill in applied linguistics has drawn the attention of many researchers to evaluate textbooks in order to help learners gain self-sufficiency and autonomy in the field of language use and communication. investigations have shown that developments in textbooks evaluation can promote the quality of pedagogies and consequently the learning. this study attemp...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Parallel and Distributed Systems
سال: 2018
ISSN: 1045-9219,1558-2183,2161-9883
DOI: 10.1109/tpds.2018.2818700